Everything about Intelib Software Library totally explained

InteLib is a software library written for C++, designed to incorporate Lisp programming into C++ projects.

History

The InteLib library was first introduced in 2000 in the paper by Andrey V Stolyarov and Elena I Bolshakova, named Building functional techniques into an object-oriented language

. The paper was presented at JCKBSE 2000 in Brno.
As it's stated at the official InteLib site, the name InteLib stands for Intelligence Library, reflecting the fact the library was intended to help developing applications in the field of artificial intelligence.

Principles

The library provides an object-oriented model of S-expressions and lets the user build Lisp lists using overloaded C++ operators. Lisp constructs are therefore represented with C++ arithmetic expressions.
The comma operation of C and C++ is used by InteLib to append elements to lists.

Example

The authors often use the following Lisp function as an example:


  (defun isomorphic (tree1 tree2)
     (cond ((atom tree1) (atom tree2))
           ((atom tree2) NIL)
           (t (and (isomorphic (car tree1) 
                               (car tree2))
                   (isomorphic (cdr tree1) 
                               (cdr tree2))
  ))))

Using InteLib, this Lisp code can be represented with the following expression in C++:


  (L|DEFUN, ISOMORPHIC, (L|TREE1, TREE2),
    (L|COND, 
      (L|(L|ATOM, TREE1), (L|ATOM, TREE2)),
      (L|(L|ATOM, TREE2), NIL),
      (L|T, (L|AND,
        (L|ISOMORPHIC, (L|CAR, TREE1), 
                       (L|CAR, TREE2)),
        (L|ISOMORPHIC, (L|CDR, TREE1), 
                       (L|CDR, TREE2))
  ))))

The L is a variable of the type LListConstructor which is intvented just to provide an extra operation (L|). DEFUN, ISOMORPHIC, TREE1 etc. are variables of the class named LSymbol, which represent the notion of a Lisp symbol (identifier).

Features

Currently the InteLib library contains a framework for using S-expressions as such (that is, without evaluating them), along with implementations of computation models for Lisp and Scheme. The library is accompanied with interactive interpreters for the supported dialects of both Scheme and Lisp. There are also translators, which take a text in Lisp or Scheme, and produce a module in C++.
The supported dialects of Lisp and Scheme are not standard-compliant.

Licensing

The library is claimed to be free software. The library part is licensed under LGPL, while translators and interpreters come under strict GPL.

References

Official InteLib site

Further Information

Get more info on 'Intelib Software Library'.

External Link Exchanges

Do you know how hard it is to get a link from a large encyclopaedia? Well we're different and will prove it. To get a link from us just add the following HTML to your site on a relevant page:

<a href="http://intelib__software_library.totallyexplained.com">InteLib (software library) Totally Explained</a>

Then simply click through this link from your web page. Our crawlers will verify your link, extract the title of your web page and instantly add a link back to it. If you like you can remove the words Totally Explained and embed the link in article text.
As long as your link remains in place, we'll keep our link to you right here. Please play fair - our crawlers are watching. Your site must be closely related to this one's topic. Any kind of spamming, dubious practises or removing the link will result in your link from us being dropped and, potentially, your whole site being banned.